__attribute__((aligned(64)))
int foo() { return 1; }